Security Memo for Smart Contracts